def Logicf():
    import tkinter as tk
    logicfwindow=tk.Tk()
    logicfwindow.title("真值表")
    logicfwindow.geometry("620x800")
    def sczzb():
        lostr=e1.get()
        if lostr=='0':
            tx.insert('insert','\n【真值表】：\n')
            tx.insert('insert','q\tp\tq and p\n')
            tx.insert('insert','0\t0\t0\n')
            tx.insert('insert','0\t1\t0\n')
            tx.insert('insert','1\t0\t0\n')
            tx.insert('insert','1\t1\t1\n')
        elif lostr=='1':
            tx.insert('insert','\n【真值表】：\n')
            tx.insert('insert','q\tp\tq or p\n')
            tx.insert('insert','0\t0\t0\n')
            tx.insert('insert','0\t1\t1\n')
            tx.insert('insert','1\t0\t1\n')
            tx.insert('insert','1\t1\t1\n')
        elif lostr=='2':
            tx.insert('insert','\n【真值表】：\n')
            tx.insert('insert','q\tp\tnot q\tnot p\n')
            tx.insert('insert','0\t0\t1\t1\n')
            tx.insert('insert','0\t1\t1\t0\n')
            tx.insert('insert','1\t0\t0\t1\n')
            tx.insert('insert','1\t1\t0\t0\n')
        elif lostr=='3':
            tx.insert('insert','\n【真值表】：\n')
            tx.insert('insert','q\tp\tq ⊕ p\n')
            tx.insert('insert','0\t0\t0\n')
            tx.insert('insert','0\t1\t1\n')
            tx.insert('insert','1\t0\t1\n')
            tx.insert('insert','1\t1\t0\n')
        elif lostr=='4':
            tx.insert('insert','\n【真值表】：\n')
            tx.insert('insert','q\tp\tq ↔ p\n')
            tx.insert('insert','0\t0\t1\n')
            tx.insert('insert','0\t1\t0\n')
            tx.insert('insert','1\t0\t0\n')
            tx.insert('insert','1\t1\t1\n')
        elif lostr=='5':
            tx.insert('insert','\n【真值表】：\n')
            tx.insert('insert','q\tp\tq → p\n')
            tx.insert('insert','0\t0\t1\n')
            tx.insert('insert','0\t1\t1\n')
            tx.insert('insert','1\t0\t0\n')
            tx.insert('insert','1\t1\t1\n')

    lb1=tk.Label(logicfwindow, text='<请输入逻辑符号>\n与(and)-0、或(or)-1、非(not)-2\n异或(⊕)-3、等价(↔)-4、蕴含(→)-5：', bg='orange', font=('Arial', 12), width=40, height=3)
    lb1.pack()
    e1 = tk.Entry(logicfwindow,font=('Arial', 14))
    e1.pack()
    bt2=tk.Button(logicfwindow,text='确认逻辑符号',width=10,height=1,font=('Arial', 12),command=sczzb)
    bt2.pack()
    lb2=tk.Label(logicfwindow, text='真值表如下：', bg='orange', font=('Arial', 12), width=62, height=1)
    lb2.pack()
    tx=tk.Text(logicfwindow,width=80,height=50)
    tx.pack()
    logicfwindow.mainloop()